Protecting a Pict?
نویسندگان
چکیده
منابع مشابه
Pict Correctness Revisited
The Pict programming language is an implementation of the π-calculus in which executions of π-calculus terms are specified via an abstract machine. An important property of any concurrent programming language implementation is the fair execution of threads. After defining fairness for the π-calculus, we show that Pict abstract machine executions implement fair π-calculus executions. We also giv...
متن کاملModelling Objects in PICT
For the development of present-day applications, programming languages supporting high order abstractions are needed. These high order abstractions are called components. Since most of the currently available programming languages and systems fail to provide sufficient support for specifying and implementing components, we are developing a new language suitable for software composition. It is n...
متن کاملTaming of Pict
This article presents additional necessary measures that enable us to use Pict as an object-capability programing language. It is desirable to be able to assess the worst possible threat that we—users— risk if we run a given program. If we know the threat, we are able to decide whether or not we are willing to risk running the program. The cost of a security audit that reveals such an assessmen...
متن کاملSemantic Analysis of Pict in Java
We focus on mechanically generating object oriented code for semantic analysis. As an example, we consider scope checking of a compiler of which the source language is Pict and of which the target and implementation language is Java.
متن کاملPict: a programming language based on the Pi-Calculus
The -calculus o ers an attractive basis for concurrent programming. It is small, elegant, and well studied, and supports (via simple encodings) a wide range of high-level constructs including data structures, higher-order functional programming, concurrent control structures, and objects. Moreover, familiar type systems for the -calculus have direct counterparts in the -calculus, yielding stron...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the Society of Antiquaries of Scotland
سال: 2020
ISSN: 2056-743X,0081-1564
DOI: 10.9750/psas.149.1294